Demonstration of a Domain-Specific Language Debugging Framework
نویسندگان
چکیده
This demonstration presents a debugging framework that targets domain-specific languages (DSLs). The DSL Debugging Framework (DDF) generates debuggers automatically from DSL grammar specifications. The debugging concern is weaved into a base grammar in an aspect-oriented style. DDF was used to generate debuggers for three different types of DSLs (imperative, declarative, and hybrid) that are translated into a General Purpose Language (GPL), such as Java. The demonstration will show how debugging concerns are weaved into the base grammar of a hybrid DSL to generate a debugger. The generated debugger will be demonstrated on a DSL for describing GUIs.
منابع مشابه
TIDE: A Generic Debugging Framework - Tool Demonstration
A language specific interactive debugger is one of the tools that we expect in any mature programming environment. We present applications of TIDE: a generic debugging framework that is related to the ASF+SDF Meta-Environment. TIDE can be applied to different levels of debugging that occur in language design. Firstly, TIDE was used to obtain a full-fledged debugger for language specifications b...
متن کاملDomain-level Debugging for Compiled DSLs with the GEMOC Studio
Executable Domain-Specific Languages (DSLs) are commonly defined with either operational semantics (i.e., interpretation) or translational semantics (i.e., compilation). An interpreted DSL relies on domain concepts to specify the possible execution states and steps, which facilitates the observation and control of the execution using the very same domain concepts. In contrast, a compiled DSL re...
متن کاملThe Moldable Debugger: A Framework for Developing Domain-Specific Debuggers
Debuggers are crucial tools for developing object-oriented software systems as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to explore and exhibit the execution stack and system state, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. T...
متن کاملOntoDSL: An Ontology-Based Framework for Domain-Specific Languages
Domain-specific languages (DSLs) are high-level and should provide abstractions and notations for better understanding and easier modeling of applications of a special domain. Current shortcomings of DSLs include learning curve and formal semantics. This paper reports on a novel approach that allows the use of ontologies to describe DSLs. The formal semantics of OWL together with reasoning serv...
متن کاملTHE EASST NEWSLETTER Bogor: An Extensible Framework for Domain-Specific Model Checking
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007